Leslie Lamport - PDFSEARCH.IO - Document Search Engine

Leslie Lamport
Results: 304

#	Item
291	Cache Coherence Verification with TLA+ Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark Tuttle , and Yuan Yu Compaq Computer Corporation We used the speciﬁcation language TLA+ to ana Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Parallel computing Cache coherence Cache Communications protocol DEC Alpha Temporal logic of actions Model checking Leslie Lamport Correctness Computing Concurrent computing Cache coherency
292	Specifying and Verifying Systems With TLA+ Leslie Lamport Microsoft Research John Matthews HP Labs Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Information Theoretical computer science Model checking Formal methods Temporal logic of actions Temporal logic Leslie Lamport Specification language Communications protocol Concurrency Computing Computer science
293	TLA+ Veriﬁcation of Cache-Coherence Protocols Homayoon Akhiani, Damien Doligez∗ , Paul Harter, Leslie Lamport, Mark Tuttle, and Yuan Yu Compaq Joshua Scheid Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Proof theory Mathematical logic Logical syntax Formal systems Logical truth Model checking Communications protocol Formal methods Correctness Logic Mathematics Computing
294	Contact: Virginia Gold[removed]removed] Add to Reading List Source URL: amturing.acm.org Language: English - Date: 2014-03-18 09:23:50 Dijkstra Prize Distributed computing Software engineers Turing Award Leslie Lamport Association for Computing Machinery Edsger W. Dijkstra Edmund M. Clarke ACM SIGACT Computing Computer science Turing Award laureates
295	MakeIndex : An Index Processor For LaTEX Leslie Lamport 17 February[removed] Add to Reading List Source URL: www.tex.ac.uk Language: English - Date: 2006-04-18 09:22:56 Indexing Troff Emacs MakeIndex Gnus Desktop publishing software Search engine indexing Index Database index Software Information science Publishing
296	Thema Softwareontwikkeling Turing Award-winnaar Leslie Lamport Bakkerij, Add to Reading List Source URL: fmt.cs.utwente.nl Language: Dutch - Date: 2014-05-06 17:03:41
297	MakeIndex : An Index Processor For LaTEX Leslie Lamport 17 February[removed] Add to Reading List Source URL: www.pvv.ntnu.no Language: English - Date: 2010-10-12 15:54:48 Indexing Troff Emacs MakeIndex Gnus Desktop publishing software Search engine indexing Index Database index Software Information science Publishing
298	An Example Document Leslie Lamport January 21, 1994 This is an example input file. Comparing it with the output it generates can show you how to produce a simple document of your own. Add to Reading List Source URL: plastex.sourceforge.net Language: English - Date: 2008-02-07 11:26:57 Printing Dash LaTeX Quotation mark TeX Ellipsis Slash Space Full stop Punctuation Typography Graphic design
299	Distributed Computing Column 36 Distributed Computing: 2009 Edition Idit Keidar Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-12-05 11:02:06 Dijkstra Prize Distributed computing ACM SIGACT Symposium on Principles of Distributed Computing International Symposium on Distributed Computing Symposium on Parallelism in Algorithms and Architectures Nancy Lynch Leslie Lamport Edsger W. Dijkstra Concurrent computing Computing Computer science
300	The Temporal Logic of Actions LESLIE LAMPORT Digital Equipment Corporation Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-06-27 16:01:37 Predicate logic Semantics Formal languages Temporal logic Function Quantification Temporal logic of actions Well-formed formula First-order logic Logic Mathematics Mathematical logic

UPDATE